61. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
62. Artificial intellgence and information-control systems of robots-87: proceedings of the fourth international conference on artificial in telligence and information-control systems of robots, smolenice, czechoslovakia, 19-23 October, 1987
پدیدآورنده : edited by Ivan Plander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perceptrons
رده :
Q
334
.
I55
1987
63. Artificial intelligence and information-control systems of robots-87
پدیدآورنده : edited by Ivan Plander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perception
رده :
Q
334
.
I55
1987
64. Bioinformatics
پدیدآورنده : by Robert Pool and Joan Esnayra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biotechnology industries, Congresses.,Electronic data processing, Congresses.,Medical informatics, Congresses.
65. Bioinformatics
پدیدآورنده : by Robert Pool and Joan Esnayra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biotechnology industries, Congresses.,Electronic data processing, Congresses.,Medical informatics, Congresses.
66. Bioinformatics research and application
پدیدآورنده : / Mark Borodovsky ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bioinformatics, Congresses,Molecular biology, Data processing, Congresses,Electronic books., local
رده :
QH324
.
2
.
I83
2010
67. Building QoS into distributed systems: IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service )IWQOS '97(, 21-23 May 1997, New York, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Customer services-- Quality control-- Congresses
رده :
QA
76
.
9
.
D5
.
I3386
1997
68. COMPSTAT 1976: proceedings in computational statistics, 2d. Symposium held in Berlin )West( 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Mathematical statistics - Data processing,Congresses ، Probabilities - Data processing,Congresses ، Electronic data processing- Statistics
رده :
QA
276
.
4
.
C18
1976
69. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
70. Collaborative Computing
پدیدآورنده : \ Song Guo; Xiaofei Liao Fangming Liu; Yanmin Zhu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer networks > Congresses.,Multimedia systems -- Congresses.,Online social networks -- Congresses.,Electronic data processing-- Distributed processing-- Congresses.
رده :
TK
5105
.
5
.
C65
2016
E-book
,
71. Collaborative computing :
پدیدآورنده : Imed Romdhani, Lei Shu, Hara Takahiro, Zhangbing Zhou, Timothy Gordon, Deze Zeng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Information Storage and Retrieval.,Information Systems and Communication Service.,Computer networking & communications.,Computer networks.,Computers-- Computer Science.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- System Administration-- Storage & Retrieval.,Electronic data processing-- Distributed processing.,Information retrieval.,Multimedia systems.,Online social networks.,Program concepts-- learning to program.
رده :
TK5105
.
5
72. Collaborative computing :
پدیدآورنده : Honghao Gao, Xinheng Wang, Yuyu Yin, Muddesar Iqbal (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Computer networks.,Electronic data processing-- Distributed processing.,Multimedia systems.,Online social networks.
رده :
TK5105
.
5
73. Coming of age: proceedings of the Sixth ECMWF Workshop on the Use of Parallel Processors in Meteorology, Reading, UK, November 21-25, 1 994
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Meteorology-- Mathematical models-- Data processing,Congresses ، Atmospheric physics-- Mathematical models-- Data processing,Congresses ، Multiprocessors,Congresses ، Parallel processing )Electronic computers(
رده :
QC
866
.
E26
1994
74. Communicating process architectures 2000: WoTUG-23: proceedings of the 23rd World Occam and Transputer User Group Technical Meeting: 10-13 Sept. 2000, Canterbury, United Kingdom
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Transputers
رده :
TK
7895
.
T73
.
W67
2000
75. Communications and multimedia security: proceedings of the IFIP TC6, TC11 and Austrian Computer Society joint working conference on communications and multimedia security, 1995
پدیدآورنده : edited by Reinhard Posch
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computer security,Security measures - Congresses ، Electronic data processing departments
رده :
QA
76
.
9
.
A25
I45
1995
76. Comparative evaluation of XML information retrieval systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : XML (Document markup language) ; Congresses. ; Electronic data processing ; Congresses. ;
77. Comparative evaluation of focused retrieval :
پدیدآورنده : Shlomo Geva [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining, Congresses,Electronic data processing, Congresses,Information retrieval, Congresses,XML (Document markup language), Congresses
رده :
QA276
.
4
.
I55
2011
78. Complexity of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
79. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
80. Complexity of computer computations; proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
S92
1972
